<?php
// ddd_redirect
function ddd_redirect($url) {
  echo " <script> ddd_redirect('$url'); </script> ";
}

// set_flash
function set_flash($message) {
  echo " <script> set_flash('$message'); </script> ";
}

// set_cookie
function set_cookie($name, $value) {
  echo " <script> $.cookie('$name', '$value'); </script>";
}
?>


